On the non-sequential nature of the interval-domain model of real-number computation

نویسندگان

  • Martín Hötzel Escardó
  • Martin Hofmann
  • Thomas Streicher
چکیده

We show that real-number computations in the interval-domain environment are “inherently parallel” in a precise mathematical sense. We do this by reducing computations of the weak parallel-or operation on the Sierpinski domain to computations of the addition operation on the interval domain.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Performance of SST k-ω Turbulence Model for Computation of Viscous Drag of Axisymmetric Underwater Bodies

This paper presents 2-D finite volume method for computation of viscous drag based on Reynolds-averaged Navier-Stokes (RANS) equations. Computations are performed on bare submarine hull DREA and six axisymmetric bodies of revolution with a number of length-diameter (L/D) ratios ranging from 4 to 10. Both structured and unstructured grids are used to discretize the domain around the bodies. Diff...

متن کامل

Spatial modelling of zonality elements based on compositional nature of geochemical data using geostatistical approach: a case study of Baghqloom area, Iran

Due to the existence of a constant sum of constraints, the geochemical data is presented as the compositional data that has a closed number system. A closed number system is a dataset that includes several variables. The summation value of variables is constant, being equal to one. By calculating the correlation coefficient of a closed number system and comparing it with an open number system, ...

متن کامل

The Effect of Measurement Errors on the Performance of Variable Sample Size and Sampling Interval Control Chart

The effect of measurement errors on adaptive and non-adaptive control charts has been occasionally considered by researchers throughout the years. However, that effect on the variable sample size and sampling interval (VSSI) control charts has not so far been investigated. In this paper, we evaluate the effect of measurement errors on the VSSI control charts. After a model development, the effe...

متن کامل

Quantitative Non-diagonal Regulator Design for Uncertain Multivariable System with Hard Time-domain Constraints

In this paper a non-diagonal regulator, based on the QFT method, is synthesized for an uncertain MIMO plant whose output and control signals are subjected to hard time-domain constraints. This procedure includes the design of a non-diagonal pre-controller based on a new simple approach, followed by the sequential design of a diagonal QFT controller. We present a new formulation for the latter s...

متن کامل

EFFICIENCY MEASUREMENT OF NDEA WITH INTERVAL DATA

Data envelopment analysis (DEA) is a non-parametric technique for evaluation of relative efficiency of decision making units described by multiple inputs and outputs. It is based on solving linear programming problems. Since 1978 when basic DEA model was introduced many its modifications were formulated. Among them are two or multi-stage models with serial or parallel structure often called net...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Mathematical Structures in Computer Science

دوره 14  شماره 

صفحات  -

تاریخ انتشار 2004